/// \file base.cpp.
///============================================================================\n
/// Name        : base.cpp\n
/// Author      : Gergely Lukacsy (info@dlog-reasoner.org)\n
/// Version     : 0.01\n
/// Copyright   : DERI\n
/// Description : Basic type and class definitions, implementation file.\n
/// 
/// This file is part of the DParser and DLog 2 projects.\n
///============================================================================

SROIQKB* SINGLETON::pKB = NULL;
